A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

AbstractPetri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface (ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints (TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics (IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards

Genetically modified adenoviral vector with the protein transduction domain of Tat improves gene transfer to CAR-deficient cells

The transduction efficiency of Ad (adenovirus) depends, to some extent, on the expression level of CAR (coxsackievirus and Ad receptor) of a target cell. The low level of CAR on the cell surface is a potential barrier to efficient gene transfer. To overcome this problem, PTD.AdeGFP (where eGFP is enhanced green fluorescent protein) was constructed by modifying the HI loop of Ad5 (Ad type 5) fibre with the Tat (trans-activating) PTD (protein transduction domain) derived from HIV. The present study showed that PTD.AdeGFP significantly improved gene transfer to multiple cell types deficient in expression of CAR. The improvement in gene transfer was not the result of charge-directed binding between the virus and the cell surface. Although PTD.AdeGFP formed aggregates, it infected target cells in a manner different from AdeGFP aggregates precipitated by calcium phosphate. In addition, PTD.AdeGFP was able to transduce target cells in a dynamin-independent pathway. The results provide some new clues as to how PTD.AdeGFP infects target cells. This new vector would be valuable in gene-function analysis and for gene therapy in cancer

Associations between reproduction and work in workers of the Asian hive bee Apis cerana

a b s t r a c t If a honey bee (Apis spp.) colony becomes queenless, about 1/3 of young workers activate their ovaries and produce haploid male-producing eggs. In doing so queenless workers maximize their inclusive fitness because the normal option of vicarious production of relatives via their queen's eggs is no longer available. But if many workers are engaged in reproduction, how does a queenless colony continue to feed its brood and forage? Here we show that in the Asian hive bee Apis cerana hypopharyngeal gland (HPG) size is larger in queenless workers than in queenright workers and that bees undertaking brood-rearing tasks have larger HPG than same-aged bees that are foraging. In queenless colonies, workers with a smaller number of ovarioles are more likely to have activated ovaries. This reinforces the puzzling observation that a large number of ovarioles reduces reproductive success in queenless A. cerana. It further suggests that reproductive workers either avoid foraging or transition to foraging later in life than nonreproductive workers. Finally, our study also showed that ovary activation and larger-than-average numbers of ovarioles had no statistically detectable influence on foraging specialization for pollen or nectar